Signatures of Coherent Systems Built with Separate Modules
نویسندگان
چکیده
منابع مشابه
Signatures of Coherent Systems Built with Separate Modules
The signature is an important structural characteristic of a coherent system. Its computation, however, is often rather involved and complex. We analyze several cases where this complexity can be considerably reduced. These are the cases when a ‘large’ coherent system is obtained as a series, parallel, or recurrent structure built from ‘small’modules with known signature. Corresponding formulae...
متن کاملdedekind modules and dimension of modules
در این پایان نامه، در ابتدا برای مدول ها روی دامنه های پروفر شرایط معادل به دست آورده ایم و خواصی از ددکیند مدول ها روی دامنه های پروفر مشخص کرده ایم. در ادامه برای ددکیند مدول های با تولید متناهی روی حلقه های به طور صحیح بسته شرایط معادل به دست آورده ایم و ددکیند مدول های ضربی را مشخص کرده ایم. گزاره هایی در مورد بعد ددکیند مدول ها بیان کرده ایم. در پایان، قضایای lying over و going down را برا...
15 صفحه اولSeparate Compilation for Synchronous Modules
Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such models usually require an entire system to be compiled at once to analyze the dependencies among modules. The alternative is to write modules that can respond when the values of some of their inputs are unknown, a tedious and er...
متن کاملBounds for reliability of IFRA coherent systems using signatures
The reliability of any coherent system is the probability that it completes a mission of time t without failure. To calculate it one needs to know the structure function of the system and the distribution of the component life times which we assume to be independent and identically distributed continuous positive valued random variables. In this paper we bring together (i) the single crossing p...
متن کاملReasoning on Dynamically Built Reasoning Space with Ontology Modules
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerful tool for supporting business interactions, once heterogeneities have been solved and inconsistencies eliminated. Unfortunately, a stable coherent logical state is hard to maintain in such an environment, due to norma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Probability
سال: 2011
ISSN: 0021-9002,1475-6072
DOI: 10.1239/jap/1316796919